brief history of pencils